Nomograph for Field Checking Meter Calibrations on EPA-Type Stack Sampling Trains

Optical Fiber Power Meter Calibrations at NIST

The optical fiber power meter (OFPM) is perhaps the most common type of test equipment used to support the development and implementation of optical fiber systems. To address the inherent metrology requirements, NIST has developed and implemented measurement services to help characterize these instruments [1]. These measurement services consist primarily of absolute laser power calibrations usi...

Evaluation of the uncertainties in KAP-meter calibrations

Source Sampling Tests Stack Emissions

tationary source sampling is conducted to evaluate S gas stream emissions to -the atmosphere from stacks, ducts or process exhausts. A pollutant’s concentration is measured by extracting a known volume from the gas stream and determining the average stack gas flow rate over the sampling period. The mass emission rate of each constituent then may be calculated. Emission data are used to evaluate...

Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata

Visibly pushdown automata are popular as they are closed under Boolean operations and determinization. There exist multiple notions of timed pushdown systems like recursive timed automata, densetime pushdown automata. We explore a generalization of visibly pushdown automata over infinite words with parity acceptance condition –in which stack elements have real valued time stamps–named dense-sta...

A Stack-Slicing Algorithm for Multi-Core Model Checking

The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantage of the additional processing power. With a steady increase in the number of available processing cores, we would like the performance of a model checker to increase as well – ideally linearly. The new trend implies a...